تقول : الكثير أو الكبير أو غير ذلك ؛ وقد تضاف إضافة تتضمّن ذلك ، فيقال أطول وأكثر وأعمق ؛ فإنّ لكل واحد منها إضافة إلى شيء له إضافة إلى ثالث ، فإنّ الأطول أطول بالقياس إلى شيء هو عند شيء ما طويل ، إلّا أن هذا الشيء أطول . ( شمق ، 132 ، 9 ) - المتضايفات : إمّا مطلقات ، فيوجب وجود أحدهما الآخر ، وإمّا في شيء واحد ، فلا يمنع أن يكون ما هو أب هو أيضا ابنا . ( شمق ، 263 ، 10 ) - المتضايفات تتلازم على الاستقامة إذا روعي ما يجب أن يراعى تلازما حقيقيا ؛ وتتلازم على الإطلاق تلازما مشهورا . مثاله : إن كان ذو ثلاثة أضعاف كثير الأضعاف ، فذو ثلاثة أجزاء كثير الأجزاء . وإن كان العلم ظنا ، فالمعلوم مظنون . وإن كان البصر حسا ، فالمبصر محسوس . ( شجد ، 133 ، 7 ) - موضع من المتضايفات ، مثل أنّه إذا لم يكن الفاضل خاصّة الضعف ، فليس المفضول خاصّة النصف ؛ وهو للإثبات والإبطال . ( شجد ، 226 ، 8 ) متضايفان - لما كان المتضايفان يعلم كل واحد منهما مع الآخر ، أنّه يجب من ذلك أن يعلم كل واحد منهما بالآخر ، فيؤخذ كل واحد منهما في تحديد الآخر جهلا بالفرق : بين ما لا يعلم الشيء إلّا معه . وبين ما لا يعلم الشيء إلّا به . فإنّ ما لا يعلم الشيء إلّا معه ، يكون لا محالة مجهولا مع كون الشيء مجهولا . ومعلوما مع كونه معلوما . وما لا يعلم الشيء إلّا به يجب أن يكون معلوما قبل الشيء ، لا مع الشيء . ( أشم ، 264 ، 7 ) - إنّ المتضايفين من حيث يتضايفان بالفعل تضايفا على التعادل فهما معا ؛ إذ الشيء إنّما تقال ماهيّة بالقياس إلى شيء يكون معه . وأمّا إذا أخذ أحدهما بالفعل والآخر بالقوة ، فقد زال التعادل . ( شمق ، 153 ، 10 ) - أمّا المتضايفان فلا بدّ أن يدخل أحدهما في حدّ الآخر ، إذ كانت ماهيّته مقولة بالقياس إلى الآخر ؛ ولكن ينبغي أن يؤخذ بعضها في حدود بعض على الوجه الأوفق . ( شجد ، 251 ، 8 ) - إنّ المتضايفين يكون لهما ذاتان فيما الإضافتان ، فإذا كان التعريف ساذجا ، فقيل : ما الجار ؟ فقيل : الذي له جار ، لم ينتفع بذلك ، وخصوصا إذا كانا كلاهما مجهولين . ولكن إذا أخذ أحدهما من حيث هو ذات ، ومن حيث له مع الذات حال إن كان هو بها معدّا للإضافة ، فحينئذ يمكن أن يعرف به الآخر ، فيقال مثلا : إنّ هذا المسمّى جارا ، فيؤخذ من حيث هو مسمّى جارا ؛ ثم يقال : هو إنسان ، فيؤخذ من حيث هو إنسان ؛ ثم يقال : ساكن دار ، فيؤخذ أيضا مع الإنسان هذه الحال . ( شجد ، 251 ، 15 ) - المتضايفان من حيث هما متضايفان متكافئان في اللزوم لا في الوجود ، وأما